Calculus of structures - PDFSEARCH.IO - Document Search Engine

Calculus of structures
Results: 64

#	Item
11	Ordered Sets in the Calculus of Data Structures Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2010-06-07 15:38:49
12	Building a Calculus of Data Structures Viktor Kuncak1⋆ , Ruzica Piskac1 , Philippe Suter1 , and Thomas Wies2 1 EPFL School of Computer and Communication Sciences, Lausanne, Switzerland Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2009-12-15 08:18:45
13	RDP 2015, Jun. 30, 2015, WCMCS, Warsaw. From syntax to semantics of Dependent Type Theories - Formalized by Vladimir Voevodsky Add to Reading List Source URL: hott-uf.gforge.inria.fr Language: English - Date: 2015-07-04 05:55:41 Mathematics Academia Mathematical logic Type theory Abstract algebra Logic in computer science Mathematical structures Formal methods Intuitionistic type theory Expression Lambda calculus Universal algebra
14	A theory of regularity structures June 8, 2015 M. Hairer Mathematics Department, University of Warwick Email: Add to Reading List Source URL: www.hairer.org Language: English - Date: 2015-06-08 09:33:10 Generalized functions Differential equations Multivariable calculus Partial differential equation Distribution Vector space Heat equation Xi Dirac delta function Algebra Mathematics Mathematical analysis
15	Discussion Paper NoA CHARACTERIZATION OF THE UNIFORM RULE WITH SEVERAL COMMODITIES AND AGENTS Add to Reading List Source URL: www.iser.osaka-u.ac.jp Language: English - Date: 2010-02-03 23:13:12 Convex analysis Structure Decision theory Calculus Continuous function Preference Ideal Utility Convex function Mathematics Mathematical analysis Algebraic structures
16	Master Thesis on Properties of a Logical System in the Calculus of Structures by Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2006-01-18 20:52:47
17	BRICS RSAceto & Ing´olfsd´ottir: The Saga of the Axiomatization of Parallel Composition BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-07-04 18:40:22 Process calculus Algebra Bisimulation Model theory Operator Mathematics Theoretical computer science Algebraic structures
18	Curriculum Vitae Paola Bruscoli Research Fellow (EPSRC) at University of Bath http://www.cs.bath.ac.uk/pb/ March 30, 2013 Add to Reading List Source URL: www.cs.bath.ac.uk Language: English - Date: 2013-03-30 11:16:35 Theoretical computer science Automated theorem proving Non-classical logic Substructural logic Calculus of structures Logic programming International Colloquium on Automata Languages and Programming Linear logic Logic Formal sciences Mathematical logic
19	Science of Computer Programming ELSEVIER Add to Reading List Source URL: pubs.doc.ic.ac.uk Language: English - Date: 2008-03-25 21:14:46 Logic in computer science Algebraic structures Combinatory logic Function Axiom Cartesian closed category Group Sheaf Mathematics Lambda calculus Mathematical logic
20	Building a Calculus of Data Structures Viktor Kuncak1⋆ , Ruzica Piskac1 , Philippe Suter1 , and Thomas Wies2 1 EPFL School of Computer and Communication Sciences, Lausanne, Switzerland Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2009-11-10 09:06:44 Model theory Metalogic Proof theory Logic in computer science Formal languages First-order logic Multiset Presburger arithmetic Quantifier elimination Logic Mathematics Mathematical logic